void ex2_ex();
